Laurent Perron | The Cp-Sat Solver